Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.

Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными правилами. Формальная логика занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а путем применения законов и правил мышления. В качестве начальной ступени формальной логики принято рассматривать традиционную логику, а в качестве её развития — математическую логику, использующей степень формализации, подобную математической, символический аппарат и логические исчисления.